\(\int \frac {1}{\sqrt {1-2 x} (2+3 x)^3 \sqrt {3+5 x}} \, dx\) [2496]
Optimal result
Integrand size = 26, antiderivative size = 93 \[
\int \frac {1}{\sqrt {1-2 x} (2+3 x)^3 \sqrt {3+5 x}} \, dx=\frac {3 \sqrt {1-2 x} \sqrt {3+5 x}}{14 (2+3 x)^2}+\frac {333 \sqrt {1-2 x} \sqrt {3+5 x}}{196 (2+3 x)}-\frac {3827 \arctan \left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {3+5 x}}\right )}{196 \sqrt {7}}
\]
[Out]
-3827/1372*arctan(1/7*(1-2*x)^(1/2)*7^(1/2)/(3+5*x)^(1/2))*7^(1/2)+3/14*(1-2*x)^(1/2)*(3+5*x)^(1/2)/(2+3*x)^2+
333/196*(1-2*x)^(1/2)*(3+5*x)^(1/2)/(2+3*x)
Rubi [A] (verified)
Time = 0.03 (sec) , antiderivative size = 93, normalized size of antiderivative = 1.00, number of
steps used = 5, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.192, Rules used = {105, 156, 12, 95, 210}
\[
\int \frac {1}{\sqrt {1-2 x} (2+3 x)^3 \sqrt {3+5 x}} \, dx=-\frac {3827 \arctan \left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {5 x+3}}\right )}{196 \sqrt {7}}+\frac {333 \sqrt {1-2 x} \sqrt {5 x+3}}{196 (3 x+2)}+\frac {3 \sqrt {1-2 x} \sqrt {5 x+3}}{14 (3 x+2)^2}
\]
[In]
Int[1/(Sqrt[1 - 2*x]*(2 + 3*x)^3*Sqrt[3 + 5*x]),x]
[Out]
(3*Sqrt[1 - 2*x]*Sqrt[3 + 5*x])/(14*(2 + 3*x)^2) + (333*Sqrt[1 - 2*x]*Sqrt[3 + 5*x])/(196*(2 + 3*x)) - (3827*A
rcTan[Sqrt[1 - 2*x]/(Sqrt[7]*Sqrt[3 + 5*x])])/(196*Sqrt[7])
Rule 12
Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] && !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]
Rule 95
Int[(((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_))/((e_.) + (f_.)*(x_)), x_Symbol] :> With[{q = Denomin
ator[m]}, Dist[q, Subst[Int[x^(q*(m + 1) - 1)/(b*e - a*f - (d*e - c*f)*x^q), x], x, (a + b*x)^(1/q)/(c + d*x)^
(1/q)], x]] /; FreeQ[{a, b, c, d, e, f}, x] && EqQ[m + n + 1, 0] && RationalQ[n] && LtQ[-1, m, 0] && SimplerQ[
a + b*x, c + d*x]
Rule 105
Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_.)*((e_.) + (f_.)*(x_))^(p_.), x_Symbol] :> Simp[b*(a +
b*x)^(m + 1)*(c + d*x)^(n + 1)*((e + f*x)^(p + 1)/((m + 1)*(b*c - a*d)*(b*e - a*f))), x] + Dist[1/((m + 1)*(b*
c - a*d)*(b*e - a*f)), Int[(a + b*x)^(m + 1)*(c + d*x)^n*(e + f*x)^p*Simp[a*d*f*(m + 1) - b*(d*e*(m + n + 2) +
c*f*(m + p + 2)) - b*d*f*(m + n + p + 3)*x, x], x], x] /; FreeQ[{a, b, c, d, e, f, n, p}, x] && ILtQ[m, -1] &
& (IntegerQ[n] || IntegersQ[2*n, 2*p] || ILtQ[m + n + p + 3, 0])
Rule 156
Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_)*((e_.) + (f_.)*(x_))^(p_)*((g_.) + (h_.)*(x_)), x_Symb
ol] :> Simp[(b*g - a*h)*(a + b*x)^(m + 1)*(c + d*x)^(n + 1)*((e + f*x)^(p + 1)/((m + 1)*(b*c - a*d)*(b*e - a*f
))), x] + Dist[1/((m + 1)*(b*c - a*d)*(b*e - a*f)), Int[(a + b*x)^(m + 1)*(c + d*x)^n*(e + f*x)^p*Simp[(a*d*f*
g - b*(d*e + c*f)*g + b*c*e*h)*(m + 1) - (b*g - a*h)*(d*e*(n + 1) + c*f*(p + 1)) - d*f*(b*g - a*h)*(m + n + p
+ 3)*x, x], x], x] /; FreeQ[{a, b, c, d, e, f, g, h, n, p}, x] && ILtQ[m, -1]
Rule 210
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(-(Rt[-a, 2]*Rt[-b, 2])^(-1))*ArcTan[Rt[-b, 2]*(x/Rt[-a, 2])
], x] /; FreeQ[{a, b}, x] && PosQ[a/b] && (LtQ[a, 0] || LtQ[b, 0])
Rubi steps \begin{align*}
\text {integral}& = \frac {3 \sqrt {1-2 x} \sqrt {3+5 x}}{14 (2+3 x)^2}+\frac {1}{14} \int \frac {\frac {71}{2}-30 x}{\sqrt {1-2 x} (2+3 x)^2 \sqrt {3+5 x}} \, dx \\ & = \frac {3 \sqrt {1-2 x} \sqrt {3+5 x}}{14 (2+3 x)^2}+\frac {333 \sqrt {1-2 x} \sqrt {3+5 x}}{196 (2+3 x)}+\frac {1}{98} \int \frac {3827}{4 \sqrt {1-2 x} (2+3 x) \sqrt {3+5 x}} \, dx \\ & = \frac {3 \sqrt {1-2 x} \sqrt {3+5 x}}{14 (2+3 x)^2}+\frac {333 \sqrt {1-2 x} \sqrt {3+5 x}}{196 (2+3 x)}+\frac {3827}{392} \int \frac {1}{\sqrt {1-2 x} (2+3 x) \sqrt {3+5 x}} \, dx \\ & = \frac {3 \sqrt {1-2 x} \sqrt {3+5 x}}{14 (2+3 x)^2}+\frac {333 \sqrt {1-2 x} \sqrt {3+5 x}}{196 (2+3 x)}+\frac {3827}{196} \text {Subst}\left (\int \frac {1}{-7-x^2} \, dx,x,\frac {\sqrt {1-2 x}}{\sqrt {3+5 x}}\right ) \\ & = \frac {3 \sqrt {1-2 x} \sqrt {3+5 x}}{14 (2+3 x)^2}+\frac {333 \sqrt {1-2 x} \sqrt {3+5 x}}{196 (2+3 x)}-\frac {3827 \tan ^{-1}\left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {3+5 x}}\right )}{196 \sqrt {7}} \\
\end{align*}
Mathematica [A] (verified)
Time = 0.15 (sec) , antiderivative size = 69, normalized size of antiderivative = 0.74
\[
\int \frac {1}{\sqrt {1-2 x} (2+3 x)^3 \sqrt {3+5 x}} \, dx=\frac {\frac {21 \sqrt {1-2 x} \sqrt {3+5 x} (236+333 x)}{(2+3 x)^2}-3827 \sqrt {7} \arctan \left (\frac {\sqrt {1-2 x}}{\sqrt {7} \sqrt {3+5 x}}\right )}{1372}
\]
[In]
Integrate[1/(Sqrt[1 - 2*x]*(2 + 3*x)^3*Sqrt[3 + 5*x]),x]
[Out]
((21*Sqrt[1 - 2*x]*Sqrt[3 + 5*x]*(236 + 333*x))/(2 + 3*x)^2 - 3827*Sqrt[7]*ArcTan[Sqrt[1 - 2*x]/(Sqrt[7]*Sqrt[
3 + 5*x])])/1372
Maple [A] (verified)
Time = 1.18 (sec) , antiderivative size = 119, normalized size of antiderivative = 1.28
| | |
| method | result | size |
| | |
| risch |
\(-\frac {3 \left (-1+2 x \right ) \sqrt {3+5 x}\, \left (236+333 x \right ) \sqrt {\left (1-2 x \right ) \left (3+5 x \right )}}{196 \left (2+3 x \right )^{2} \sqrt {-\left (-1+2 x \right ) \left (3+5 x \right )}\, \sqrt {1-2 x}}+\frac {3827 \sqrt {7}\, \arctan \left (\frac {9 \left (\frac {20}{3}+\frac {37 x}{3}\right ) \sqrt {7}}{14 \sqrt {-90 \left (\frac {2}{3}+x \right )^{2}+67+111 x}}\right ) \sqrt {\left (1-2 x \right ) \left (3+5 x \right )}}{2744 \sqrt {1-2 x}\, \sqrt {3+5 x}}\) |
\(119\) |
| default |
\(\frac {\sqrt {1-2 x}\, \sqrt {3+5 x}\, \left (34443 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right ) x^{2}+45924 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right ) x +15308 \sqrt {7}\, \arctan \left (\frac {\left (37 x +20\right ) \sqrt {7}}{14 \sqrt {-10 x^{2}-x +3}}\right )+13986 x \sqrt {-10 x^{2}-x +3}+9912 \sqrt {-10 x^{2}-x +3}\right )}{2744 \sqrt {-10 x^{2}-x +3}\, \left (2+3 x \right )^{2}}\) |
\(154\) |
| | |
|
|
|
|
[In]
int(1/(2+3*x)^3/(1-2*x)^(1/2)/(3+5*x)^(1/2),x,method=_RETURNVERBOSE)
[Out]
-3/196*(-1+2*x)*(3+5*x)^(1/2)*(236+333*x)/(2+3*x)^2/(-(-1+2*x)*(3+5*x))^(1/2)*((1-2*x)*(3+5*x))^(1/2)/(1-2*x)^
(1/2)+3827/2744*7^(1/2)*arctan(9/14*(20/3+37/3*x)*7^(1/2)/(-90*(2/3+x)^2+67+111*x)^(1/2))*((1-2*x)*(3+5*x))^(1
/2)/(1-2*x)^(1/2)/(3+5*x)^(1/2)
Fricas [A] (verification not implemented)
none
Time = 0.23 (sec) , antiderivative size = 86, normalized size of antiderivative = 0.92
\[
\int \frac {1}{\sqrt {1-2 x} (2+3 x)^3 \sqrt {3+5 x}} \, dx=-\frac {3827 \, \sqrt {7} {\left (9 \, x^{2} + 12 \, x + 4\right )} \arctan \left (\frac {\sqrt {7} {\left (37 \, x + 20\right )} \sqrt {5 \, x + 3} \sqrt {-2 \, x + 1}}{14 \, {\left (10 \, x^{2} + x - 3\right )}}\right ) - 42 \, {\left (333 \, x + 236\right )} \sqrt {5 \, x + 3} \sqrt {-2 \, x + 1}}{2744 \, {\left (9 \, x^{2} + 12 \, x + 4\right )}}
\]
[In]
integrate(1/(2+3*x)^3/(1-2*x)^(1/2)/(3+5*x)^(1/2),x, algorithm="fricas")
[Out]
-1/2744*(3827*sqrt(7)*(9*x^2 + 12*x + 4)*arctan(1/14*sqrt(7)*(37*x + 20)*sqrt(5*x + 3)*sqrt(-2*x + 1)/(10*x^2
+ x - 3)) - 42*(333*x + 236)*sqrt(5*x + 3)*sqrt(-2*x + 1))/(9*x^2 + 12*x + 4)
Sympy [F]
\[
\int \frac {1}{\sqrt {1-2 x} (2+3 x)^3 \sqrt {3+5 x}} \, dx=\int \frac {1}{\sqrt {1 - 2 x} \left (3 x + 2\right )^{3} \sqrt {5 x + 3}}\, dx
\]
[In]
integrate(1/(2+3*x)**3/(1-2*x)**(1/2)/(3+5*x)**(1/2),x)
[Out]
Integral(1/(sqrt(1 - 2*x)*(3*x + 2)**3*sqrt(5*x + 3)), x)
Maxima [A] (verification not implemented)
none
Time = 0.28 (sec) , antiderivative size = 76, normalized size of antiderivative = 0.82
\[
\int \frac {1}{\sqrt {1-2 x} (2+3 x)^3 \sqrt {3+5 x}} \, dx=\frac {3827}{2744} \, \sqrt {7} \arcsin \left (\frac {37 \, x}{11 \, {\left | 3 \, x + 2 \right |}} + \frac {20}{11 \, {\left | 3 \, x + 2 \right |}}\right ) + \frac {3 \, \sqrt {-10 \, x^{2} - x + 3}}{14 \, {\left (9 \, x^{2} + 12 \, x + 4\right )}} + \frac {333 \, \sqrt {-10 \, x^{2} - x + 3}}{196 \, {\left (3 \, x + 2\right )}}
\]
[In]
integrate(1/(2+3*x)^3/(1-2*x)^(1/2)/(3+5*x)^(1/2),x, algorithm="maxima")
[Out]
3827/2744*sqrt(7)*arcsin(37/11*x/abs(3*x + 2) + 20/11/abs(3*x + 2)) + 3/14*sqrt(-10*x^2 - x + 3)/(9*x^2 + 12*x
+ 4) + 333/196*sqrt(-10*x^2 - x + 3)/(3*x + 2)
Giac [B] (verification not implemented)
Leaf count of result is larger than twice the leaf count of optimal. 252 vs. \(2 (72) = 144\).
Time = 0.35 (sec) , antiderivative size = 252, normalized size of antiderivative = 2.71
\[
\int \frac {1}{\sqrt {1-2 x} (2+3 x)^3 \sqrt {3+5 x}} \, dx=\frac {3827}{27440} \, \sqrt {70} \sqrt {10} {\left (\pi + 2 \, \arctan \left (-\frac {\sqrt {70} \sqrt {5 \, x + 3} {\left (\frac {{\left (\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}\right )}^{2}}{5 \, x + 3} - 4\right )}}{140 \, {\left (\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}\right )}}\right )\right )} + \frac {33 \, \sqrt {10} {\left (181 \, {\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{3} + \frac {32200 \, {\left (\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}\right )}}{\sqrt {5 \, x + 3}} - \frac {128800 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}}{98 \, {\left ({\left (\frac {\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}{\sqrt {5 \, x + 3}} - \frac {4 \, \sqrt {5 \, x + 3}}{\sqrt {2} \sqrt {-10 \, x + 5} - \sqrt {22}}\right )}^{2} + 280\right )}^{2}}
\]
[In]
integrate(1/(2+3*x)^3/(1-2*x)^(1/2)/(3+5*x)^(1/2),x, algorithm="giac")
[Out]
3827/27440*sqrt(70)*sqrt(10)*(pi + 2*arctan(-1/140*sqrt(70)*sqrt(5*x + 3)*((sqrt(2)*sqrt(-10*x + 5) - sqrt(22)
)^2/(5*x + 3) - 4)/(sqrt(2)*sqrt(-10*x + 5) - sqrt(22)))) + 33/98*sqrt(10)*(181*((sqrt(2)*sqrt(-10*x + 5) - sq
rt(22))/sqrt(5*x + 3) - 4*sqrt(5*x + 3)/(sqrt(2)*sqrt(-10*x + 5) - sqrt(22)))^3 + 32200*(sqrt(2)*sqrt(-10*x +
5) - sqrt(22))/sqrt(5*x + 3) - 128800*sqrt(5*x + 3)/(sqrt(2)*sqrt(-10*x + 5) - sqrt(22)))/(((sqrt(2)*sqrt(-10*
x + 5) - sqrt(22))/sqrt(5*x + 3) - 4*sqrt(5*x + 3)/(sqrt(2)*sqrt(-10*x + 5) - sqrt(22)))^2 + 280)^2
Mupad [B] (verification not implemented)
Time = 14.52 (sec) , antiderivative size = 1037, normalized size of antiderivative = 11.15
\[
\int \frac {1}{\sqrt {1-2 x} (2+3 x)^3 \sqrt {3+5 x}} \, dx=\text {Too large to display}
\]
[In]
int(1/((1 - 2*x)^(1/2)*(3*x + 2)^3*(5*x + 3)^(1/2)),x)
[Out]
((11841*((1 - 2*x)^(1/2) - 1)^5)/(1225*(3^(1/2) - (5*x + 3)^(1/2))^5) - (23682*((1 - 2*x)^(1/2) - 1)^3)/(6125*
(3^(1/2) - (5*x + 3)^(1/2))^3) - (7458*((1 - 2*x)^(1/2) - 1))/(30625*(3^(1/2) - (5*x + 3)^(1/2))) + (3729*((1
- 2*x)^(1/2) - 1)^7)/(980*(3^(1/2) - (5*x + 3)^(1/2))^7) + (34149*3^(1/2)*((1 - 2*x)^(1/2) - 1)^2)/(30625*(3^(
1/2) - (5*x + 3)^(1/2))^2) - (58782*3^(1/2)*((1 - 2*x)^(1/2) - 1)^4)/(30625*(3^(1/2) - (5*x + 3)^(1/2))^4) + (
34149*3^(1/2)*((1 - 2*x)^(1/2) - 1)^6)/(4900*(3^(1/2) - (5*x + 3)^(1/2))^6))/((544*((1 - 2*x)^(1/2) - 1)^2)/(6
25*(3^(1/2) - (5*x + 3)^(1/2))^2) - (1764*((1 - 2*x)^(1/2) - 1)^4)/(625*(3^(1/2) - (5*x + 3)^(1/2))^4) + (136*
((1 - 2*x)^(1/2) - 1)^6)/(25*(3^(1/2) - (5*x + 3)^(1/2))^6) + ((1 - 2*x)^(1/2) - 1)^8/(3^(1/2) - (5*x + 3)^(1/
2))^8 - (96*3^(1/2)*((1 - 2*x)^(1/2) - 1)^3)/(625*(3^(1/2) - (5*x + 3)^(1/2))^3) + (48*3^(1/2)*((1 - 2*x)^(1/2
) - 1)^5)/(125*(3^(1/2) - (5*x + 3)^(1/2))^5) + (12*3^(1/2)*((1 - 2*x)^(1/2) - 1)^7)/(5*(3^(1/2) - (5*x + 3)^(
1/2))^7) - (96*3^(1/2)*((1 - 2*x)^(1/2) - 1))/(625*(3^(1/2) - (5*x + 3)^(1/2))) + 16/625) - (3827*7^(1/2)*atan
(((3827*7^(1/2)*((22962*3^(1/2))/6125 + (11481*((1 - 2*x)^(1/2) - 1))/(6125*(3^(1/2) - (5*x + 3)^(1/2))) - (7^
(1/2)*((212*((1 - 2*x)^(1/2) - 1)^2)/(25*(3^(1/2) - (5*x + 3)^(1/2))^2) + (888*3^(1/2)*((1 - 2*x)^(1/2) - 1))/
(125*(3^(1/2) - (5*x + 3)^(1/2))) - 536/125)*3827i)/2744 - (11481*3^(1/2)*((1 - 2*x)^(1/2) - 1)^2)/(1225*(3^(1
/2) - (5*x + 3)^(1/2))^2)))/2744 + (3827*7^(1/2)*((22962*3^(1/2))/6125 + (11481*((1 - 2*x)^(1/2) - 1))/(6125*(
3^(1/2) - (5*x + 3)^(1/2))) + (7^(1/2)*((212*((1 - 2*x)^(1/2) - 1)^2)/(25*(3^(1/2) - (5*x + 3)^(1/2))^2) + (88
8*3^(1/2)*((1 - 2*x)^(1/2) - 1))/(125*(3^(1/2) - (5*x + 3)^(1/2))) - 536/125)*3827i)/2744 - (11481*3^(1/2)*((1
- 2*x)^(1/2) - 1)^2)/(1225*(3^(1/2) - (5*x + 3)^(1/2))^2)))/2744)/((7^(1/2)*((22962*3^(1/2))/6125 + (11481*((
1 - 2*x)^(1/2) - 1))/(6125*(3^(1/2) - (5*x + 3)^(1/2))) - (7^(1/2)*((212*((1 - 2*x)^(1/2) - 1)^2)/(25*(3^(1/2)
- (5*x + 3)^(1/2))^2) + (888*3^(1/2)*((1 - 2*x)^(1/2) - 1))/(125*(3^(1/2) - (5*x + 3)^(1/2))) - 536/125)*3827
i)/2744 - (11481*3^(1/2)*((1 - 2*x)^(1/2) - 1)^2)/(1225*(3^(1/2) - (5*x + 3)^(1/2))^2))*3827i)/2744 - (7^(1/2)
*((22962*3^(1/2))/6125 + (11481*((1 - 2*x)^(1/2) - 1))/(6125*(3^(1/2) - (5*x + 3)^(1/2))) + (7^(1/2)*((212*((1
- 2*x)^(1/2) - 1)^2)/(25*(3^(1/2) - (5*x + 3)^(1/2))^2) + (888*3^(1/2)*((1 - 2*x)^(1/2) - 1))/(125*(3^(1/2) -
(5*x + 3)^(1/2))) - 536/125)*3827i)/2744 - (11481*3^(1/2)*((1 - 2*x)^(1/2) - 1)^2)/(1225*(3^(1/2) - (5*x + 3)
^(1/2))^2))*3827i)/2744 + (14645929*((1 - 2*x)^(1/2) - 1)^2)/(480200*(3^(1/2) - (5*x + 3)^(1/2))^2) + 14645929
/1200500)))/1372